Issues in Defining, Analyzing, Refining, and Specifying System Dependability Requirements
نویسندگان
چکیده
Requirements specification has long been acknowledged as an area for further research in the development of systems, particularly for those that are computer based. In addition, an IEEE White Paper by Tripp and Keane indicates that current practice regarding System Dependability is in large part based on “tricks of the trade”, and that there is a need to codify “best practices”. This paper attempts to codify the practice for specifying dependability requirements, by classifying and describing the process and product requirements needed for such specification.
منابع مشابه
Dependability in RESCUE : A Concurrent Engineering Approach to the Specification of Requirements for Air Traffic Management
RESCUE is a concurrent engineering approach to the specification of operational requirements in the domain of air traffic management. In RESCUE, we build on use cases and scenarios, using work from human-computer interaction (HCI) and elsewhere in requirements engineering. Our aim is to provide some validation of the use case models through which requirements are elicited, and thereby obtain a ...
متن کاملDependability Differentiation in Cloud Services
Cloud computing is an evolving computing paradigm in which computing is provided to consumers upon request as a service and is charged on pay-as-you-go basis. The virtually infinite computing resources on the cloud provider side and the dramatic decrease of investment requirement on the consumer side have made large companies to consider outsourcing their IT services to cloud providers. But, la...
متن کاملComponents for Globalization of Universities in the Iranian Academic System from the ViewPoints of Experts
The purpose of this study was to Identify the components of universities in the Iranian academic system from the viewpoints of experts. The research was qualitative and the method was interview. The Participants of the study was experts and scholars in higher education in the field of globalization of higher education that 21 people were interviewed based on purposive sampling until reaching th...
متن کاملEnabling Requirements Elaboration Through Synthesis, Scalable Refinement, and Analysis of Partial Behavior Models
In this thesis, I propose a holistic approach for capturing, analyzing, and refining behavioral requirements of a software system by synthesizing, analyzing, and refining Modal Transition Systems in a scalable manner.
متن کاملDependability arguments with trusted bases Citation
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of the system’s components called trusted bases. This paper describes an idiom for modeling systems with trusted bases, and a technique for analyzing a dependability argument— the argument that a trusted base is sufficie...
متن کامل